(include-book "../../src/acl2/world")
(include-book "grid-data-generator")
(include-book "rule-creator-data-generator")
(include-book "doublecheck" :dir :teachpacks)
;;;Some data generators for the world object.

;;Generate a world with all empty cells,
;;no ruleset, the given framerate, and no
;;changesets. Used as the base condition
;;for some command handler tests
(defun generate-trivial-world (framerate)
    (cell-world nil nil framerate nil nil 0 0))

;;Generate a random world when you don't
;;care too much about having careful control
;;of the grid, etc.
(defrandom random-lifelike-world ()
    (cell-world  (random-lifelike-grid 5 5 0.5)
            (generate-lifelike-rules* (random-death-state-list)             
                                      (random-birth-state-list))
            (random-natural)
            (random-lifelike-grid-changeset)
            nil (random-natural) (random-natural)))
